pigeon hole principle discrete maths